INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS Int. J. Numer. Meth. Fluids 2007; 53:1339–1360 Published online 25 October 2006 in Wiley InterScience (www.interscience.wiley.com). DOI: fld.1362 Shape reco

Source URL: www.mattiagazzola.com

• Surfaces
• Mathematics
• Space
• Geometry
• Computer-aided design
• Triangulation
• Finite element method
• Surface triangulation
• Implicit surface
• Image segmentation
• 3D modeling
• Surface

FULTON’S TRACE FORMULA DANIEL LITT 1. Introduction Let X be a projective variety over a finite field Fq of characteristic p. Then the zeta function of X/Fp is defined as

Source URL: math.columbia.edu

Nondeterministic Finite Automata in Hardware - the Case of the Levenshtein Automaton Tommy Tracy II, Mircea Stan, Nathan Brunelle, Jack Wadden, Ke Wang, Kevin Skadron, Gabriel Robins University of Virginia Charlottesvill

Source URL: cap.wpengine.com

How few directions can a function over a finite field f determine ? How small can the set D(f ) be ? D(f ) = { f (y ) − f (x) | x, y ∈ Fq , x 6= y }

Source URL: www-ma4.upc.es

Double Conformal Mapping: A Finite Mathematics to Model an Infinite World Steven Lehar Abstract. The conformal model of Geometric Algebra suggests an intimate connection between mathematics and perception, in particular

Source URL: cns-alumni.bu.edu

• Geometry
• Mathematics
• Space
• Map projections
• Euclidean geometry
• Topological spaces
• Conformal geometry
• Differential geometry
• Conformal map
• Stereographic projection
• Euclidean space
• Plane

Outline Groups Probability on Finite Groups Minkowski functionals and Valuations Applications Algebraic and Numeric Programming environments

Source URL: ssll.rsise.anu.edu.au

Quantifier Instantiation Techniques for Finite Model Finding in SMT

Source URL: lara.epfl.ch

Online Appendix to: MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems DIDAC GIL DE LA IGLESIA, Linnaeus University DANNY WEYNS, Linnaeus University

Source URL: homepage.lnu.se

• Finite automata
• Timed automaton
• Finite-state machine
• Clock
• Cellular automata
• Models of computation

On Robust Parallel Preconditioning for Incompressible Flow Problems Timo Heister, Gert Lube, and Gerd Rapin Abstract We consider time-dependent flow problems discretized with higher order finite element methods. Applying

Source URL: www.math.clemson.edu

! Revised September 29, 2015 6:10 PM! 1

Source URL: kiwi.atmos.colostate.edu

• Mathematical analysis
• Mathematics
• Analysis
• Differential calculus
• Functions and mappings
• Derivative
• Rates
• Finite difference method
• Finite difference
• Differential of a function
• Compact finite difference